#include <stdio.h>
int main(void)
{
  extern int _binary_textdata_txt_start;
  printf("%s\n",(char*)(_binary_textdata_txt_start));
  return 0;
}
